DL based automated consistency checking of spatial relationships

RÉSUMÉ. les contraintes d’intégrité spatiales permettent de spécifier les relations autorisées entre des objets spatiaux des bases de données. Dans ce contexte, il est nécessaire de vérifier la cohérence d’un jeu de relations spatiales. Ce contrôle permet de détecter si des relations spatiales spécifiés dans les contraintes d’intégrité par des utilisateurs sont incompatibles. Cet article propose une nouvelle méthode de détection d’incohérences spatiales basée sur des traductions en Logiques de Description (LD) des relations RCC8 entre objets spatiaux. Nous proposons d’utiliser un moteur d’inférence LD traditionnel pour vérifier la cohérence d’un ensemble de relations RCC8. Les traductions LD proposées dans cet article pourront être étendues pour vérifier la cohérence entre des types évolués d’objets spatiaux (les régions composites, les régions complexes, etc).